Reasoning in Multiple Belief Spaces
نویسندگان
چکیده
MBR is a r e a s o n i n g s y s t e m w h i c h a l l o w s m u l t i p l e b e l l e t s ( b e l i e t s t r o m m u l t i p l e a g e n t s , c o n t r a d i c t o r y b e l i e f s , h y p o t h e t i c a l b e l i e f s ) t o b e r e p r e s e n t e d s i m u l t a n e o u s l y i n t h e same k n o w l e d g e base and p e r f o r m s r e a s o n i n g w i t h i n s e t s o f t h e s e b e l i e f s . M B R a l s o c o n t a i n s p r o v i s o s t o d e t e c t c o n t r a d i c t i o n s and t o r e c o v e r f r o m t h e m . T h i s p a p e r d e s c r i b e s MBR's me thod o f d e t e c t i n g and r e c o r d i n g c o n t r a d i c t i o n s w i t h i n b e l i e f s o f d i f f e r e n t a g e n t s , s h o w i n g a n examp le o f s u c h p r o c e s s .
منابع مشابه
A Framework for Evidential-Reasoning Systems
Evidential reasoning is a body of techniques that supports automated reasoning from evidence. It is based upon the Dempster-Shafer theory of belief functions. Both the formal basis and a framework for the implementation of automated reasoning systems based upon these techniques are presented. The formal and practical approaches are divided into four parts (1) specifying a set of distinct propos...
متن کاملBelief Revision in a Deductively Open Belief Space
I am researching the traditional belief revision integrity constraints and postulates, which are designed for deductively closed belief spaces, and revising them so that they are applicable to implemented knowledge representation and reasoning systems with deductively open belief spaces (DOBS). A knowledge representation and reasoning system must be able to deal with contradictions and revise b...
متن کاملReasoning about Uncertainty in Metric Spaces
We set up a model for reasoning about metric spaces with belief theoretic measures. The uncertainty in these spaces stems from both probability and metric structures. To represent both aspect of uncertainty, we choose an expected distance function as a measure of uncertainty. A formal logical system is constructed for the reasoning about expected distance. Soundness and completeness are shown f...
متن کاملA Note on Belief Structures and S-approximation Spaces
We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempsterchr('39')s multivalued mappings and lower and upper probabilities, and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory...
متن کاملNonmonotonic Reasoning and Multiple Belief Revision
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we de ne a nonmonotonic inference frame in which individual inference rules have been proposed in the literature but their combination as a system has not been investigated. It is shown that such a system is so strong that almost all the r...
متن کاملConceptual reasoning - Belief, multiple agents and preference
One of the central issues in Arti cial Intelligence (AI) in general|and in the area of knowledge representation and reasoning in particular|is common sense reasoning. This includes logics of knowledge and belief, non-monotonic reasoning, truth-maintenance and belief revision. Within these elds the notion of a consistent belief state is the crucial one. Additionally, there is a growing interest ...
متن کامل